========================================================================= A PROJECT: Tool displays a kind of ontology / categorization of logic languages as a Toscanaj active diagram with OAL file as input.